InfoQ Homepage Presentations The Verification of a Distributed System
The Verification of a Distributed System
37:39
Summary
Caitie McCaffrey discusses the strategies for proving a correct system and less strenuous methods of testing, which can help increase our confidence that a system is doing the right thing.
Bio
Caitie McCaffrey is a Backend Brat and Distributed Systems Diva at Twitter, where she is Tech Lead of the Observability Team. Prior to that she spent the majority of her career building large scale services and systems that power the entertainment industry at 343 Industries, Microsoft Game Studios and HBO. She has worked on several video games including Gears of War 2, Gears of War 3, Halo 4.
About the conference
Software is changing the world. QCon empowers software development by facilitating the spread of knowledge and innovation in the developer community. A practitioner-driven conference, QCon is designed for technical team leads, architects, engineering directors, and project managers who influence innovation in their teams.
Sep 11, 2016